\newcommand{\draftorfinal}{\setboolean{draft}{true}}
\input{upc-lib-atomic-ops-spec}
